Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·2d
🤖Program Synthesis
Implementing Gist Memory: Summarizing and Searching Long Docs with a ReadAgent
inference-docs.cerebras.ai·3h·
Discuss: Hacker News
🎮Verification Games
how to resolve a halting paradox
academia.edu·16h·
Discuss: r/programming
🔄Finite State Machines
Improvements to OCaml code editing: the basics of a refactor engine
tarides.com·3h·
Discuss: Lobsters, Hacker News
🐫OCaml
Blink Twice: Measuring Strategic Deception Amongst LLMs
coup.khoj.dev·1d·
Discuss: Hacker News
🎮Verification Games
The Rise of Remote Agentic Environments
thenewstack.io·56m
🤖Program Synthesis
Building a Regex Engine
abstractsyntaxseed.com·4h·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Alphabet of Human Thought
en.wikipedia.org·1h·
Discuss: Hacker News
➡️Category Theory
Stream Integration
feldera.com·2d·
Discuss: Hacker News
🏹Effect Systems
Complete Dynamic Logic of Communicating Hybrid Programs
arxiv.org·1d
🔍Formal Verification
AGI's Moving Finish Line
signalfire.com·1d·
Discuss: Hacker News
🎮Verification Games
Peeking Under the Hood of Claude Code
medium.com·2h·
Discuss: Hacker News
🛡️seL4
Building a self-hosted, fast AI research agent using OpenAI and SerpApi
serpapi.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Simpler Category Theory
ryanbrewer.dev·3h·
Discuss: Hacker News
➡️Category Theory
Subinterpreters and Asyncio
blog.changs.co.uk·7h·
Discuss: Hacker News
🐫Embedded OCaml
LLMs Are Letter-Blind and Here's Why Enterprises Should Care
viveksgag.substack.com·14h·
Discuss: Substack
🛡️seL4
Herb Sutter "Three Cool Things in C++26"
herbsutter.com·4h·
Discuss: Hacker News
🐫Embedded OCaml
flow-run: LLM Orchestration, Prompt Testing & Cost Monitoring
vitaliihonchar.com·1d·
Discuss: r/golang, r/programming
🔄Reproducible Builds
Can Large Models Teach Student Models to Solve Mathematical Problems Like Human Beings? A Reasoning Distillation Method via Multi-LoRA Interaction
arxiv.org·1d
🎮Verification Games
Attention Is the New Big-O: A Systems Design Approach to Prompt Engineering
alexchesser.medium.com·1d·
Discuss: Hacker News
🏹Effect Systems